perm filename C3.NEG[1,JRA] blob sn#005863 filedate 1972-07-21 generic text, type T, neo UTF8

00100	¬( LE(U SUB1(J)) ∧ LE(SUB1(J) CN));
00200	;